1. A short course in soil-structure engineering of deep foundations, excavations and tunnels
پدیدآورنده : Ng, Charles W. W.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Soil-structure interaction- Mathematics,، Foundations- Mathematics,، Excavation- Mathematics,، Tunnels- Mathematics
رده :
TA
711
.
5
.
N5
2. A short course in soil-structure engineering of deep foundations, excavations and tunnels /
پدیدآورنده : Charles W.W. Ng, Noel Simons and Bruce Menzies
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Excavation,Excavation-- Mathematics,Foundations,Foundations-- Mathematics,Soil-structure interaction,Soil-structure interaction-- Mathematics,Tunnels,Tunnels-- Mathematics
3. Arithmetic for Parents
پدیدآورنده : \ Ron Aharoni
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Study and teaching (Elementary),Arithmetic -- Foundations,ریاضیات -- راهنمای آموزشی (ابتدایی),حساب -- اصول
رده :
E-Book
,
4. Axiomatic method and category theory
پدیدآورنده : Rodin, Andrei, Andrei Rodin
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Axiomatic set theory,، Categories )Mathematics(,، Philosophy,، Epistemology,، Category Theory, Homological Algebra,، Mathematical Logic and Foundations
رده :
QA248
5. Bernhard Riemann: gesammelte mathematische werke, wissenschaftlicher nachlass und nachtrage: collected papers
پدیدآورنده : Riemann, Bernhard
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Collected works ، Mathematics,، Functions, Abelian,، Riemann surfaces,، Geometry-- Foundations
رده :
QA
3
.
R55
1990
6. Die Gödel'schen Unvollständigkeitssätze :
پدیدآورنده : von Dirk W. Hoffmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematical Logic and Foundations.,Mathematics.
7. Essays on Frege's basic laws of arithmetic
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : 1925. Grundgesetze der Arithmetik ; Arithmetic ; Foundations. ; Mathematics ; Philosophy. ; Logic. ; -Frege, Gottlob, 1848
8. Foundations of geometry :
پدیدآورنده : Karol Borsuk, Wanda Szmielew ; translated by Erwin Marquit.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geometry-- Foundations.,Geometry-- Foundations.,MATHEMATICS-- Geometry-- General.
رده :
QA681
.
B633
2018eb
9. Frege, Gottlob
پدیدآورنده :
کتابخانه: (طهران)
موضوع : ریاضیات, -- فلسفه,Mathematics - Philosophy,Number concept,Arithmetic - Foundations,Logic, Symbolic and mathematical
10. Frege. philosophy of mathematics
پدیدآورنده : Dummett, Michael Anthony Eardley, 5291-1102
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,Foundations ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
D85F7
11. Frege's philosophy of mathematics
پدیدآورنده : edited by William Demopoulos
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Mathematics -- Philosophy,Mathematics -- Foundations,Logic, Symbolic and mathematical
رده :
QA
.
F74
8
.
6
1995
12. Frege's philosophy of mathematics
پدیدآورنده : edited by William Demopoulos
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Mathematics -- Philosophy,Addresses, essays, lectures ، Mathematical analysis -- Foundations,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
8
.
6
.
F73
13. Frege's philosophy of mathematics
پدیدآورنده :
موضوع : ، Mathematics-- Philosophy,، Mathematics-- Foundations,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
14. Fuzzy Logic :
پدیدآورنده : edited by Vladimir Dimitrov, Victor Korotkich.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial Intelligence (incl. Robotics),Mathematical Logic and Foundations.,Mathematics.
رده :
QA9
.
64
E358
2002
15. Fuzzy lie algebras /
پدیدآورنده : Muhammad Akram.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fuzzy mathematics.,Lie algebras.,General Algebraic Systems.,Mathematical Logic and Foundations.,Fuzzy mathematics.,Lie algebras.
رده :
QA252
.
3
.
A37
2018
16. Fuzzy mathematics: approximation theory
پدیدآورنده : Anastassiou, George A.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Approximation theory,، Arithmetic-- Foundations,، Fuzzy mathematics
رده :
QA
248
.
A53
2010
17. Geometry
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics; Geometry; Mathematical Logic and Foundations
18. Handbook of Set Theory
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Logic. ; Science ; Philosophy. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematical Logic and Foundations. ; Logic. ; Philosophy of Science. ;
19. Interactions :
پدیدآورنده : edited by Vincent F. Hendricks ... [et al.].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Causality (Physics),Mathematical analysis-- Foundations.,Mathematics-- Philosophy.,Philosophy and science.,Physics-- Philosophy.,Science-- Philosophy.
20. Intriduction to logic and to the methodology of deductive sciendes
پدیدآورنده : / By Alfred Tarski
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Mathematics - Philosophy,Arithmetic - Foundations
رده :
510
.
1
Ta-I
